Commitment - based service coordination Stefan

We present a methodology for composing large-grained services that exhibit temporal uncertainty and complex task dependencies. Our multi-agent approach incorporates temporal and stochastic planning paradigms and commitment-based negotiation to achieve the coordinated provision of services with stochastic outcomes. This is all captured within a service-choreography protocol, by which agents can request future service provisions and receive probabilistic temporal service promises in return, converging on coordinated decisions about how and when to work together. We hypothesise that our approach can scalably converge on good coordination solutions because it partially decouples the problems of negotiating service interactions and computing service policies. Our empirical evaluation provides initial confirmation of this hypothesis, demonstrating the scalability and effectiveness of our approach in producing coordinated, approximately optimal agent policies in a small fraction of the time that an optimal approach requires.